Algebraic Structure of the Truth-values for L Ω
نویسنده
چکیده
Let us consider the algebra H-B-M , where is a distributive lattice, is a H-algebra (Heyting algebra), is a B-algebra (Brouwer algebra), < A, 0, 1,∨,∧,⇒, −̇ > is HB-algebra (semi-Boolean algebra) [10], is a de Morgan algebra, < A, 0, 1,∨,∧,⇒,∼> is a symmetrical Heyting algebra [5] and, respectively is a symmetrical Brouwer algebra. Now we define the operation →̇ on the elements of the set A:
منابع مشابه
The Sum Graph of Non-essential Submodules
Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...
متن کاملω-NARROWNESS AND RESOLVABILITY OF TOPOLOGICAL GENERALIZED GROUPS
Abstract. A topological group H is called ω -narrow if for every neighbourhood V of it’s identity element there exists a countable set A such that V A = H = AV. A semigroup G is called a generalized group if for any x ∈ G there exists a unique element e(x) ∈ G such that xe(x) = e(x)x = x and for every x ∈ G there exists x − 1 ∈ G such that x − 1x = xx − 1 = e(x). Also le...
متن کاملDetermination of e ω , e e x ω , e B , and e α using potential energy functions for heteronuclear diatomic molecules via spreadsheet program
In order to represent the potential energy function over the whole range of R, many potentialenergy functions have been proposed. In the present paper, we employ many potential energyfunctions, to use Numerov method for solving the nuclear Schrödinger equation for the IFmolecule, as an example of a heteronuclear diatomic molecules. Then we determine thespectroscopic constants eω , e e x ω , e B...
متن کاملTwo new points in the spectrum of the absolute Mahler measure of totally positive algebraic integers
For totally positive algebraic integers α 6= 0, 1 of degree d(α), we consider the set L of values of M(α) 1 d(α) = Ω(α), where M(α) is the Mahler measure of α. C. J. Smyth has found the four smallest values of L and conjectured that the fifth point is Ω((2 cos 2π 60 )2). We prove that this is so and, moreover, we give the sixth point of L.
متن کاملSome algebraic properties of Lambert Multipliers on $L^2$ spaces
In this paper, we determine the structure of the space of multipliers of the range of a composition operator $C_varphi$ that induces by the conditional expectation between two $L^p(Sigma)$ spaces.
متن کامل